}
public void disposeUIResources() {
myLanguageLevelConfigurable.disposeUIResources();
super.disposeUIResources();
}
}
public void disposeUIResources() {
if (myLanguageLevelConfigurable != null) myLanguageLevelConfigurable.disposeUIResources();
super.disposeUIResources();
}